Operator Construction: A Compact, Maintainable Representation for Real World Planners
نویسندگان
چکیده
AI planners typically use a set of generalized operator descriptions as a representation of the possible domain actions. These operators are then selected and instantiated to accomplish particular task goals. However, in complex domains it may be difficult to enumerate all of the operators, many of which may contain redundant information. Adapting the planner to related domains or to changes in the domain properties may require extensive modifications to update and maintain the operator descriptions. A more maintainable representation is required for complex domains. This paper proposes a technique called Operator Construction which can be applied to physical planning domains. In this approach, instead of representing the possible domain actions as a set of generalized operators, knowledge about domain objects that generate actions is used to generate operators. The result is better suited for complex domains because Operator Construction offers the advantage of ease of maintenance, and a more direct link between domain properties and possible actions. This teclmique has been used in a complex manufacturing planning domain.
منابع مشابه
Localization operators on homogeneous spaces
Let $G$ be a locally compact group, $H$ be a compact subgroup of $G$ and $varpi$ be a representation of the homogeneous space $G/H$ on a Hilbert space $mathcal H$. For $psi in L^p(G/H), 1leq p leqinfty$, and an admissible wavelet $zeta$ for $varpi$, we define the localization operator $L_{psi,zeta} $ on $mathcal H$ and we show that it is a bounded operator. Moreover, we prove that the localizat...
متن کاملCompact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions
We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.
متن کاملA Class of compact operators on homogeneous spaces
Let $varpi$ be a representation of the homogeneous space $G/H$, where $G$ be a locally compact group and $H$ be a compact subgroup of $G$. For an admissible wavelet $zeta$ for $varpi$ and $psi in L^p(G/H), 1leq p <infty$, we determine a class of bounded compact operators which are related to continuous wavelet transforms on homogeneous spaces and they are called localization operators.
متن کاملAn Argument for a Hybrid HTN/Operator-Based Approach to Planning
Work on generative planning syste[ns ha-~ focllsed On two dit,crsc aplJroac}lcs to plan construction. Ilierarchical task network (11’~N) planners build plans by successively refining high-level goals into lowerlevel activities. Operator-baqed planners employ means-end analysis to formulate plans consisting of Iow-level activities. While many have argued the universal dominance of a single appro...
متن کاملPractical Planning in COLLAGE
COLLAGE is a domain-independent planner that differs from traditional planners in two key ways: (1) it uses diverse and extendible set of action-based plan constructions methods; and (2) it utilizes a technique called localization to partition the planning problem into smaller (and potentially interacting) subproblems. In this paper, we describe these features and how they are exploited in two ...
متن کامل